Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000A95 | Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France] | Dynamic Tags for Security Protocols |
| 001278 | Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Practical Everlasting Privacy |
| 001378 | Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Composition of Password-based Protocols |
| 001C97 | Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France] | Automated Verification of Equivalence Properties of Cryptographic Protocols |
| 003127 | Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni] | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
| 003D12 | Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni] | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
| This area was generated with Dilib version V0.6.33. |  |